1481. The Next generation of information systems : from data to knowledge
پدیدآورنده : M.P. Papazoglou, J. Zeleznikow )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Database management,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
611
1482. The semantic web -- ISWC 2018 :
پدیدآورنده : Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Semantic Web, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Semantic Web.
رده :
TK5105
.
88815
1483. Theoretical approaches to non-numerical problem solving; proceedings
پدیدآورنده : Systems Symposium, 4th, 8691, Case Western Reserve University
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Artificial intelligence-- Congresses,، Problem solving-- Congresses
رده :
Q
335
.
S94
1968
1484. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
1485. Theoretical computer science :
پدیدآورنده : edited by Lian Li, Pinyan Lu, Kun He.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer science.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Image processing.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
1486. Theory and Applications of Formal Argumentation.
پدیدآورنده : \ Elizabeth Black , Sanjay Modgil , Nir Oren (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Computer logic -- Congresses.,Artificial intelligence -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,منطق کامپیوتری -- کنگره ها , هوش مصنوعی-- کنگرهها
رده :
QA
76
.
9
.
T46
2015
E-Book
,
1487. Theory and Practice of Natural Computing
پدیدآورنده : \ Adrian-Horia Dediu, Luis Magdalena, Carlos Martín-Vide (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Natural computation -- Congresses,Artificial intelligence -- Congresses,محاسبات طبیعی -- کنگرهها,هوش مصنوعی-- کنگرهها
رده :
QA
76
.
9
.
N37
T65
2015
E-Book
,
1488. Theory and practice of natural computing :
پدیدآورنده : David Fagan, Carlos Martín-Vide, Michael O'Neill, Miguel A. Vega-Rodríguez (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Natural computation, Congresses.,Artificial intelligence.,Natural computation.
رده :
QA76
.
9
.
A43
1489. Theory and practice of natural computing
پدیدآورنده : Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Natural computation, Congresses,Natural computation, Congresses
رده :
QA76
.
9
.
N37
I58
2012eb
1490. Tools and applications with artificial intelligence
پدیدآورنده : Constantinos Koutsojannis, Spiros Sirmakessis )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Intelligent agents )Computer software(
رده :
Q
334
.
T665
1491. Tools and applications with artificial intelligence
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Artificial intelligence ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
1492. Topics in artificial intelligence : 5th Catalonian Conference on AI, CCIA 2002; Castellon, Spain, October 24-25, 2002 : proceedings
پدیدآورنده : M. Teresa Escrig, Francisco Toledo, Elisabet Golobardes )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
2504
1493. Topics in artificial intelligence : 4th Conference of the Italian Association for Artificial Intelligence, AI*IA '95, Florence, Italy, October 11-13, 1995 : proceedings
پدیدآورنده : Marco Gori, Giovanni Soda
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
992
1494. Toward a practice of autonomous systems : proceedings of the first European Conference on Artificial Life
پدیدآورنده : edited by Francisco J. Varela and Paul Bourgine
کتابخانه: (طهران)
موضوع : Congresses ، Robotics,Congresses ، Artificial intelligence
رده :
TJ
210
.
3
.
E87
1991
1495. Towards Autonomous Robotic Systems
پدیدآورنده : \ Clare Dixon , Karl Tuyls (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Artificial intelligence,هوش مصنوعی,a04,a04,Autonomous robots -- Congresses.,روبوتهای خودکار -- کنگره ها
رده :
TJ
211
.
495
.
T6
2015
E-Book
,
1496. Transactions on computational science XXXII :
پدیدآورنده : edited by Marina L. Gavrilova, C.J. Kenneth Tan, Alexei Sourin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Biometric identification-- Security measures, Congresses.,Computer security, Congresses.,Artificial intelligence.,Computer science.,Image processing.
رده :
QA76
.
9
.
A25
1497. Transactions on engineering technologies :
پدیدآورنده : Sio-Iong Ao, Len Gelman, Haeng Kon Kim, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering, Congresses.,Artificial intelligence.,Automatic control engineering.,Data mining.,Engineering.,Life sciences: general issues.,Robotics.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA5
1498. Trends and advances in information systems and technologies.
پدیدآورنده : Álvaro Rocha, Hojjat Adeli, Luís Paulo Reis, Sandra Costanzo, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Information technology, Congresses.,Artificial intelligence.,Computer networks.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
رده :
T58
.
5
1499. Trends and applications in software engineering :
پدیدآورنده : Jezreel Mejia [and 4 others], editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Software engineering, Congresses.,Artificial intelligence.,COMPUTERS-- Programming-- General.,Software engineering.,Sports & outdoor recreation.
رده :
QA76
.
758
.
I58
7th
2018eb
1500. Trends in Applied Intelligent Systems
پدیدآورنده : \ [Edited by] Nicolás García-Pedrajas...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Artificial intelligence -- Industrial applications -- Congresses.,Expert systems (Computer science) -- Industrial applications -- Congresses.,هوش مصنوعی -- کاربردهای صنعتی -- کنگره ها,سیستمهای خبره ( کامپیوتر) -- کاربردهای صنعتی -- کنگره ها
رده :
E-Book
,